Hello,
i would like to propose that the chars which represent the whitespaces schould be
choosen by the user, also the color.
thanks
Arktik
| Submitted | *anonymous - 2008-04-29 10:56:16 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | WhiteSpace |
| Status | open | Group | None |
| Resolution | None |
| 2012-02-10 19:12:43 jarekczek |
- **labels**: --> WhiteSpace |
|---|---|
| 2012-02-10 21:55:06 jarekczek |
What's wrong with the current chars? What chars and colors would you choose instead
of current symbols? Before introducing a feature we would like to know, how one may
benefit from it.
|